基于符号定向图(SDG)深层知识模型的定性仿真

定性仿真是系统仿真技术中的重要研究和应用方向，同时也是人工智能技术的一个重要方面。近年来，随着现代计算机技术的日新月异，使得基于符号定向图(SDG)深层知识模型的定性仿真研究和应用取得了显著进展。SDG模型能够表达复杂的因果关系，具有包容大规模潜在信息的能力，因此特别适合于过程系统危险评价(PHA)、危险识别与故障诊断。SDG模型结构简单，易于建立和修改。然而高质量的SDG模型必须采用经验数据和定量动态仿真检验和校正。采用SDG模型进行定性仿真的关键技术是高效双向推理“引擎”，由计算机软件自动完成。目前，在计算机辅助过程系统危险评价方面，SDG是最有效的方法；在过程系统故障诊断方面，其完备性较好，但诊断分辨率尚待提高。今后的研究应解决：定性仿真和定量仿真相结合；SDG自动建模；通用推理软件平台；大系统高分辨率故障诊断等问题。     

广义De Bruijn图分解问题的一些结果

广义DeBruijn图是最近提出的一种具有良好性质的网络拓扑结构，文中对这类图的分解问题作了初步的分析，构造了一类基本模块，并得出了一些关于模块效率的数值结果。     

关于距离图着色问题一个结果的新证明

利用数论的方法，重新确定了距离图G（Z，D）的圆色数Xc（D）和分式色数Xf（D），其中D={a,b,a＋b,2（a＋b）}是一个特殊的四元素距离集．     

几类完全4-部图的邻强边染色

得到了几类完全4-部图的邻强边色数.     

冲击式采煤机温升计算与仿真

介绍了冲击式采煤机液压冲击系统,利用功率键合图建立了数学模型,得出温度变化曲线,并据此提出了控制温度的具体措施。     

d-界距离正则图中一类格的特征多项式

设Г是一个直径d≥3的d-界距离正则图,x∈V(Г),P(x)是Г中包含x的所有强闭包子图的集合,并且P(x,i)是P(x)中所有直径为i的强闭包子图的集合.设￡(x,i)是P(x,i)中元素的交生成的集合.按反包含关系规定￡(x,i)的偏序,￡(x,i)记为￡R(x,i).利用M(o)bius反演公式计算了￡R((x,i)上的特征多项式X(PR(x),t).     

关于单圈图的路图的Hamilton性问题

用图的三度顶点的收缩方法，刻画了单圈图的路图的Ｈａｍｉｌｔｏｎ性的特征，并具体给出了Ｈａｍｉｌｔｏｎ圈的构造。     

Algorithm of graph isomorphism with threedimensional DNA graph structures

ResearchonDNAcomputingwasinitializedin1994 ,whenAdleman[1] proposedamethodofsolvingasmallinstanceoftheHamiltonianPathproblembyalaboratoryexperimentinvolvingDNAmolecules .Later,Lipton[2 ] demonstratedhowalargeclassofNP completeproblemscouldbesolvedbyencodingtheprobleminDNAmolecules .Inparticular ,LiptonshowedonefamousNP problem ,theso called“satisfiability”problem (SAT)andsubsequentlytheotherNP problemscouldbeencodedandsolvedusingmolecules .TheadvantagesofDNAcomputingareitsmassivepa…     

图G_i~(S*)(P,2(sum form j=1 to n)mj)的伴随多项式因式分解的图论方法及应用

通过研究图的伴随多项式的因式分解 ,给出了证明非色唯一图的一种新方法 ,并且得到了若干图簇的色等价图的结构性质     

分数Hamilton圈与分数树形图

定义有向图的分数有向Hamilton圈和分数支撑树形图，讨论分数Hamilton圈、分数旅行售货员问题和分数支撑树形图基于线性规划的等价定义及多项式时间算法。